Operational ASM Semantics behind Graphical SEAM Notation

The context of this paper is Enterprise Architecture (EA). EA is a multi-disciplinary approach that allows different specialists to design new business and IT systems and focuses on the integration of these systems. Our group develops a specific EA method that is called SEAM. The current version of SEAM has a formal denotational semantics for its modeling language. In order to provide model simulation and checking at each level of abstraction, SEAM needs an operational semantics. Currently this work is at the stage of problem setting. In this paperwe present SEAM and describe the main research problem. We propose to use ASM as operational semantics for SEAM to verify that models, produced by different specialists are consistent. We illustrate our approach by giving an example of SEAM notation that has already been mapped to ASM.